function display_head() {
return "<html>
	<head>
	<title>PGRH</title>
	</head>
	<body>";
}

function display_end() { 

  return "
    </body>
    </html>
  ";
}